#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pii = pair<int, int>;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define endl '\n'
const int N = 2e5 + 5;

int n, m;
int cnt[15];

int main() {
  ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  rep(i, 1, 7) {
    int x;
    cin >> x;
    cnt[x]++;
  }
  int x = 0, y = 0;
  rep(i, 1, 13) {
    if (cnt[i] >= 3)
      x++;
    else if (cnt[i] == 2)
      y++;
  }
  if (x >= 2 || (x == 1 && y >= 1))
    cout << "Yes";
  else
    cout << "No";
  return 0;
}